Targeting design, verification, and test challenges

نویسنده

  • Krishnendu Chakrabarty
چکیده

IC AND SYSTEM designers continue to grapple with the challenges of ensuring high performance under tight power consumption constraints, escalating verification costs, and increasing test cost. The semiconductor industry is therefore seeking innovations to reduce design cost, design cycle time, and the cost associated with presilicon and postsilicon qualification. Solutions to these problems require rethinking about system design, design-space exploration, on-chip interconnects, presilicon validation, and manufacturing test. This general-interest issue of IEEE Design & Test covers many of the key themes that constitute the technical scope of the magazine. The issue covers a wide range of topics and highlights the diversity of the problems that must be tackled as we strive to meet demands for high-performance computing coupled with low power consumption, high reliability, and manageable cost. Our rethinking must start at a conceptual level, especially in terms of how we design the system architecture for achieving power/ performance efficiency. The implementation of such novel architectures also requires breakthroughs in design tools used for power estimation, verification, and test generation. The articles here include recent advances in design methods such as customization to achieve higher efficiency in terms of power and performance, accurate power estimation for multiprocessor system-on-chips (MPSoCs) based on networkon-chips (NoCs), and low-power and reliable onchip interconnects. This issue also includes articles on testbench acceleration to reduce the communication overhead associated with hardware accelerators, testing for small-delay defects to reduce test escapes, and synthesis of scan trees to minimize test time. This issue begins with ‘‘Customizable DomainSpecific Computing,’’ by Jason Cong et al. Parallel processing has often been advocated as a means to satisfy ever-growing demands for higher computing power. However, it is also recognized that highly parallel, general-purpose computing systems do not offer the best design solutions that can balance high performance with power consumption, heat dissipation, cost, and so forth. In this article, the authors show how we can learn from nature the human brain to design a customizable platform that can achieve efficiency through specialization. The key approach to cope with rapidly growing computational complexity is through specialization of customizable platforms for each application domain. The next article, ‘‘Exploring NoC-Based MPSoC Design Space with Power Estimation Models’’ by Luciano Ost et al., shows how we can accurately estimate power consumption early in the design flow for MPSoCs. The proposed power estimation tool lets designers carry out design-space exploration more effectively for complex systems. The article describes a simulation framework based on the abstract notion of ‘‘actors’’ to capture the dynamic behavior of a NoC. The third article, ‘‘Low-Power, Resilient Interconnection with Orthogonal Latin Squares’’ by Seung Eun Lee et al., highlights an important problem in on-chip interconnect design namely, that of ensuring that interconnects are reliable and that they consume low power. The authors show how the Orthogonal Latin Square Code (OLSC) can be used to protect interconnects against transient errors while simultaneously lowering energy consumption.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Addressing the Design and Verification Challenges of Long Term Evolution

(LTE) present a number of design and verification challenges for system engineers. Some examples include determining design requirements and specifications for new hardware designs, evaluating hardware re-use, and testing RF/mixed-signal designs and hardware independently of baseband hardware. Electronic Design Automation (EDA) simulation tools can help address these challenges by enabling syst...

متن کامل

In Silico Design and Verification of LAMP-BDNF Chimeric Protein for Presentation of BDNF on the Surface of Exosomes for Drug Delivery Through Blood-Brain Barrier

Background and purpose: The mature form of brain-derived neurotrophic factor (BDNF) binds to BDNF/NT-3 growth factors receptor (Trk-B). This binding leads to activation of Ras–MAPK pathway which is integrated with cell growth and proliferation. The BDNF deficiency is correlated with various diseases and affects aging and miscellaneous. In the present study we aimed to design a chimeric LAMP-BDN...

متن کامل

Design Challenges for High Performance Nano-Technology

This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design challenges that are experienced in microprocessor designs. It will capture the design issues in the areas of high level architectural modeling, design for manufacturability (DFM), layout synthesis, standard cell design,...

متن کامل

Verification and Test

4 Digital Object Identifier 10.1109/MDAT.2017.2737530 Date of current version: 13 September 2017.  This issue is focused on the special issue on “Emerging Challenges and Solutions in SoC Verification” from Guest Editors Magdy Abadir, Jayanta Bhadra, Wen Chen, and Li-C Wang. This special issue on verification is very timely, as new developments demand new verification techniques. For instance, ...

متن کامل

Automatic Verification-pattern Generation for Functional Verification of Systems-on-chip

Advances in semiconductor process and design technologies are enabling the design of complex system chips. In traditional IC design, reuse was limited to standard cell libraries and the rest of the logic was almost designed from scratch. Nowadays, the trend has changed and system designers are reusing most of the IP in order to speed up the design process. Such a design process poses many chall...

متن کامل

Coverage-driven Functional Test Generation for Processor Validation using Formal Methods

Functional validation is one of the major bottlenecks in processor design: up to 70% of the design development time and resources are spent on functional verification. Simulation is the most widely used form of microprocessor validation. A major challenge in simulation-based validation is how to reduce the overall validation time and resources. Traditionally, billions of random tests are used d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011